<HTML><HEAD><TITLE>fzn_run(+File, ++SolverOrOptions)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(flatzinc)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>fzn_run(+File, ++SolverOrOptions)</H1>
Run a FlatZinc model from a given file
<DL>
<DT><EM>File</EM></DT>
<DD>File name (extension defaults to .fzn)
</DD>
<DT><EM>SolverOrOptions</EM></DT>
<DD>Name of solver mapping module, or zn_options-structure
</DD>
</DL>
<H2>Description</H2>
<P>
	Reads a FlatZinc model from a file, and interprets it using
	the solver mapping defined in SolverOrOptions.  At the end of
	solving, resuls and timings are printed to the output stream. 
	Error messages may be printed to the error stream.  This
	predicate always succeeds.
    </P>
<H3>Modes and Determinism</H3><UL>
<LI>fzn_run(+, ++) is det
</UL>
<H2>Examples</H2>
<PRE>
    ?- fzn_run("mymodel.fzn", fzn_ic).
	Found a solution with cost 10
	Found no solution with cost 7.0 .. 9.0
	end = 10
	b1 = 1
	b2 = 0
	b3 = 1
	b4 = 0
	Objective value = 10
	Total time 0.031s cpu (0.016 setup + 0.000 search)
</PRE>
<H2>See Also</H2>
<A HREF="../../lib_public/flatzinc/fzn_run-1.html">fzn_run / 1</A>, <A HREF="../../lib_public/flatzinc/fzn_run_stream-2.html">fzn_run_stream / 2</A>
</BODY></HTML>
